Embedding of closed categories into monoidal closed categories
نویسندگان
چکیده
منابع مشابه
On traced monoidal closed categories
The structure theorem of Joyal, Street and Verity says that every traced monoidal category C arises as a monoidal full subcategory of the tortile monoidal category IntC. In this paper we focus on a simple observation that a traced monoidal category C is closed if and only if the canonical inclusion from C into IntC has a right adjoint. Thus, every traced monoidal closed category arises as a mon...
متن کاملMonoidal-Closed Categories of Tree Automata
We propose a realizability semantics for automata on infinite trees, based on categories of games built on usual simple games, and generalizing usual acceptance games of tree automata. Our approach can be summarized with the slogan “automata as objects, strategies as morphisms”. We show that the operations on tree automata used in the translations of MSOformulae to automata (underlying Rabin’s ...
متن کاملMonads on Symmetric Monoidal Closed Categories By
Introduction. This note is concerned with "categories with internal horn and | and we shall use the terminology from the paper [2] by EIL~.NBERG and Kv.Imy. The result proved may be stated briefly as follows : a Y/--monad ("strong monad") on a symmetric monoidal closed category ~ carries two canonical structures as closed functor. I f these agree (in which case we call the monad commutative), t...
متن کاملIsomorphic Objects in Symmetric Monoidal Closed Categories
Isomorphic objects in symmetric monoidal closed categories† K O S T A D O Š E N ‡ and Z O R A N P E T R I Ć § ‡ University of Toulouse III, Institut de Recherche en Informatique de Toulouse, 118 route de Narbonne, 31062 Toulouse cedex, France and Mathematical Institute, Knez Mihailova 35, P.O. Box 367, 11001 Belgrade, Yugoslavia § University of Belgrade, Faculty of Mining and Geology, Djušina 7...
متن کاملSome Monoidal Closed Categories of Stable Domains and Event Structures
This paper introduces the following new constructions on stable domains and event structures: the tensor product, the linear function space, and the exponential. It results in a monoidal closed category of dI-domains as well as one of stable event structures which can be used to interpret intuitionistic linear logic. Finally, the usefulness of the category of stable event structures for modelin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1977
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1977-0480686-8